Computer programming - PDFSEARCH.IO - Document Search Engine

Computer programming
Results: 45296

#	Item
271	Advances in Programming Languages APL10: State Transformers Ian Stark School of Informatics The University of Edinburgh Thursday 11 February Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-02-11 05:50:59 Software engineering Computer programming Declarative programming Functional programming Functional languages Monad Data types Type class Haskell Entry point Computation Ur
272	Controlling The Real World With Computers ::. Control And Embedded Systems .:: Table Of Contents Previous: Programming Part 2 Next: Programming Experiment 1 Putting It All Together - Controlling The Hardware With The So Add to Reading List Source URL: learn-c.com Language: English - Date: 2016-02-02 18:33:32 Software engineering C++ Computer programming Data types Light-emitting diode Signage Computing Const Sizeof Apparent magnitude C++ classes For loop
273	Trust in programming tools: the formal verification of compilers and static analysers Xavier Leroy Inria Paris Verified trustworthy software systems, April 2016 Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2016-04-05 14:57:15 Software Computing Real-time computing Worst-case execution time Simulink French Institute for Research in Computer Science and Automation Xavier Leroy AbsInt
274	Microsoft Word - review18.doc Add to Reading List Source URL: www.jot.fm Language: English - Date: 2007-08-10 10:58:07 Engineering Computing Security engineering Robert C. Seacord Secure coding Computer programming Vulnerability Security Patterns Software engineering Cyberwarfare Software development Grady Booch
275	Introduction to Smalltalk - Chapter 9 - Sets, bags, and dictionaries  Ivan TomekChapter 9 - Sets, bags, and dictionaries Overview This chapter presents the remaining frequently used collections - sets, bags, Add to Reading List Source URL: sdmeta.gforge.inria.fr Language: English - Date: 2014-10-09 10:38:17 Software engineering Computer programming Computing Search algorithms Object-oriented programming languages Data types Hashing Error detection and correction Hash function Hash table Smalltalk Set
276	International Conference on Automated Planning and Scheduling (ICAPSTask and Motion Policy Synthesis as Liveness Games Yue Wang and Neil T. Dantam and Swarat Chaudhuri and Lydia E. Kavraki Department of Computer Add to Reading List Source URL: www.neil.dantam.name Language: English - Date: 2016-07-08 17:59:42 Theoretical computer science Robot kinematics Constraint programming NP-complete problems Motion planning Pursuit-evasion Satisfiability modulo theories Automated planning and scheduling Liveness
277	Finding faults in multi-threaded programs Cyrille Artho Abstract Multi-threaded programming creates the fundamental problem that the execution of a Add to Reading List Source URL: artho.com Language: English - Date: 2010-02-21 23:14:31 Computing Software engineering Computer programming Concurrency control Java Software design patterns Concurrent computing Concurrency Synchronization Lock Thread safety Thread
278	WG14 N1475 INCITS PL22.11/09-‐0002 Reply to the Attention of: Barry Hedquist Email: Add to Reading List Source URL: www.open-std.org Language: English - Date: 2010-06-27 14:32:08 Software engineering Computing Computer programming C Procedural programming languages Object-oriented programming languages C11 C99 Errno.h Fortran Ada ALGOL 68
279	Deriving Generic Functions by Example Neil Mitchell University of York, UK http://www.cs.york.ac.uk/~ndm/ Abstract. A function is said to be generic if it operates over values of Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Software engineering Computer programming Declarative programming Functional programming Data types Programming language comparisons Type theory Higher-order functions Fold Generic programming Map Type class
280	A PATTERN EXTRACTION ALGORITHM FOR ABSTRACT MELODIC REPRESENTATIONS THAT ALLOW PARTIAL OVERLAPPING OF INTERVALLIC CATEGORIES Emilios Cambouropoulos1 , Maxime Crochemore2,3 , Costas Iliopoulos3 , Manal Mohamed3 , Marie-Fr Add to Reading List Source URL: pbil.univ-lyon1.fr Language: English - Date: 2008-10-22 02:35:21 Dynamic programming Maximal pair String String searching algorithm Approximate string matching Suffix tree Mathematics Computing Computer programming LCP array

UPDATE